Formal specification language

Synonyms for "formal specification language" (19 found)

Ranked by relevance and common usage.

Closest matches (4)

Adjective(4 words)
compliantconformantformal languageformal spec language

Strong matches (6)

Adjective(6 words)
formal specificationformalizedmachine readablemathematicalmodeling languageparseable

Related words (9)

Adjective(8 words)
preciserigorousspecification languagespecification notationstandardizedunambiguousverifiableverification language
Noun(1 words)
specification logic

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

10 entries
engineering practiceformal documentationformal methodformal methodsformal propertylanguagelinguistic attributenotationtechnical descriptiontechnical descriptor

More specific

11 entries
AlloyAlloy languageAlloy specificationEvent-BTLA+VDM styleVDM-SLZ notationinterface specificationmodule specificationprotocol specification

Collocations

11 entries
AlloyEvent-BTLA+VDM-SLZ notationformal specification language examplesformal specification language featuresformal specification language semanticsformal specification language syntaxformal specification language toolingformal specification language verification

Inflections

3 entries
formal specification languagesmore formalmost formal

Derivations

6 entries

Keep exploring

Browse writing guidesRead the blog